$\forall$$i$,$j$:$\mathbb{Z}$. (($i$ =$_{0}$ $j$) = ff $\in$ $\mathbb{B}$) $\Rightarrow$ $i$ $\neq$ $j$